/*
 * Definições do processador.
 */

void execute(FILE *obj_code);

